аксиома сводимости

См. также в других словарях:

• СВОДИМОСТИ АКСИОМА — аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия… …   Математическая энциклопедия

• непредикативное определение — определение, с помощью которого некоторые объекты вводятся через множества, включающие эти объекты в качестве своих элементов. Напр.: Верхней границей множества действительных чисел называется самое большое число этого множества, т. е. число,… …   Словарь терминов логики

• РАССЕЛ — (Russell) Бертран (1872 1970) англ. философ, ученый и общественный деятель. Лауреат Нобелевской премии по литературе (1950). Р. учился и в дальнейшем преподавал в Кембриджском ун те. Он неоднократно приглашался для преподавания в ун ты др. стран …   Философская энциклопедия

• ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… …   Философская энциклопедия

• логицизм —         ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… …   Энциклопедия эпистемологии и философии науки

• КОЛМОГОРОВ — Андрей Николаевич [р. 12 (25) апр. 1903] – сов. математик, акад. (с 1939), проф. Моск. ун та (с 1931). Лауреат Гос. премии СССР (1941). Член ряда иностр. науч. учреждений. Исследования К. оказали значит. влияние на развитие множеств теории,… …   Философская энциклопедия

• Принципы математики —         «ПРИНЦИПЫ МАТЕМАТИКИ» («PRINCIPIA MATHEMATICA») трехтомный труд о логике и основаниях математики, написанный А.Н. Уайтхедом и Б. Расселом и опубликованный в 1910, 1912 и 1913 (около 2000 с). Целью этой работы было показать, что, используя …   Энциклопедия эпистемологии и философии науки

• МНОЖЕСТВ ТЕОРИЯ —         математик, теория, изучающая точными средствами проблему бесконечности. Предмет М. т. свойства множеств (совокупностей, классов, ансамблей), гл. обр. бесконечных. Осн. содержание классич. М. т. было разработано нем. математиком Г.… …   Философская энциклопедия

• МАТЕМАТИЧЕСКАЯ БЕСКОНЕЧНОСТЬ — общее название разл. реализаций идеи бесконечности в математике. Хотя между значениями понятия М. б. и др. значениями, в к рых употребляется термин бесконечность , нет жесткой границы (поскольку все эти понятия в конечном счете отражают весьма… …   Философская энциклопедия